Equal Rights for Children

Equal Rights for Swampersons

Towards Equal Rights for Higher-kinded Types

Generics are a very popular feature of contemporary OO languages, such as Java, C# or Scala. Their support for genericity is lacking, however. The problem is that they only support abstracting over proper types, and not over generic types. This limitation makes it impossible to, e.g., define a precise interface for Iterable, a core abstraction in Scala’s collection API. We implemented “type con...

Not All Children are Created Equal: A Proposal to Address Equal Protection Inheritance Rights of Posthumously Conceived Children

Diversity, equal opportunities and human rights.

Equality and diversity are central to education and health services, in terms of both employment and service delivery. Clinical teachers need to be able to support students and trainees around equality issues, have the confidence to challenge discriminatory practice and provide an inclusive and safe learning and teaching environment.

Equal rights to trade and mediate

For economies with a fixed finite set of traders, few results characterize Walrasian equilibria by their social choice properties. Pareto efficient allocations typically require lump-sum transfers. Other characterizations based on the core or strategyproofness apply only when, as in continuum economies, agents cannot influence prices strategically. Or the results concern social choice with a va...